Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων
1
Proof theory: the first step into impredicativity

Proof theory: the first step into impredicativity

Έτος:
2009
Γλώσσα:
english
Αρχείο:
PDF, 2.31 MB
0 / 0
english, 2009
2
Mathematische Grundlagen der Informatik

Mathematische Grundlagen der Informatik

Έτος:
2020
Γλώσσα:
german
Αρχείο:
PDF, 47.15 MB
0 / 0
german, 2020
3
An introduction to mathematical logic

An introduction to mathematical logic

Γλώσσα:
english
Αρχείο:
PDF, 982 KB
0 / 0
english
4
Logic Colloquium ’02: Lecture Notes in Logic 27

Logic Colloquium ’02: Lecture Notes in Logic 27

Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 124.64 MB
0 / 0
english, 2006
5
Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Γλώσσα:
english
Αρχείο:
PDF, 4.85 MB
0 / 0
english
6
Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 3.42 MB
0 / 0
english, 2008
8
Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 3.43 MB
0 / 0
english, 2008
9
Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

Έτος:
2006
Γλώσσα:
english
Αρχείο:
DJVU, 3.57 MB
0 / 0
english, 2006
10
Proof Theory

Proof Theory

Έτος:
1989
Γλώσσα:
English
Αρχείο:
PDF, 45.92 MB
0 / 0
English, 1989
11
Lineare Algebra [Lecture notes]

Lineare Algebra [Lecture notes]

Έτος:
1998
Γλώσσα:
german
Αρχείο:
PDF, 1.07 MB
0 / 0
german, 1998
12
Proof Theory: An Introduction

Proof Theory: An Introduction

Έτος:
1989
Γλώσσα:
english
Αρχείο:
PDF, 9.81 MB
0 / 0
english, 1989
13
Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Έτος:
2009
Γλώσσα:
english
Αρχείο:
PDF, 4.21 MB
0 / 0
english, 2009
14
Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 3.82 MB
0 / 0
english, 2008
15
Proof Theory. An Introduction

Proof Theory. An Introduction

Έτος:
1989
Γλώσσα:
english
Αρχείο:
DJVU, 1.55 MB
0 / 0
english, 1989
16
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Έτος:
1981
Γλώσσα:
english
Αρχείο:
PDF, 5.26 MB
0 / 0
english, 1981